es{-}state{-}type(${\it es}$;$i$;${\it ds}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:Id. es{-}vartype(${\it es}$; $i$; $x$) $\subseteq\rho$ fpf{-}cap(${\it ds}$;IdDeq;$x$;Top)